A judgment set similarity measure based on prime implicants

نویسندگان

  • Marija Slavkovik
  • Thomas Ågotnes
چکیده

Distances and scores are widely used to measure similarity between collections of information, such as preference profiles, belief sets, judgment sets, argument labelings, etc. Defining a function that quantifies the similarity between information sets of logically interrelated information is nontrivial, as witnessed by the shortage of such quantifiers in the literature. We propose a similarity measure for judgment sets that is “sensitive” to logic dependencies among the judgments.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Incremental Method for Generating Prime Implicants/Impicates

Given the recent investigation of Clause Management Systems (CMSs) for Artificial Intelligence applications, there is an urgent need for art efficient incremental method for generating prime implicants. Given a set of clauses 5 c, a set of prime implicants 1I of ~ and a clause C, the problem can be formulated as finding the set of prime implicaate for II t.J {C). Intuitively, the property of im...

متن کامل

A Method for Generating all the Prime Implicants of Binary CNF Formulas

In this paper, we propose a method for generating all the prime implicants of a binary CNF formula. The main idea consists in using an algorithm for generating the maximal independent sets to compute all the primes implicants that cover a model. Such an approach mainly allows to reduce the number of calls to a SAT oracle. Before describing this algorithm, we propose a preprocessing method for r...

متن کامل

On Kernel Rule's and Prime Implicants

We draw a simple correspondence between kernel rules and prime s’mphznts. Kernel (minimal) rules play an important role in many induction techniques. Prime implicants were previously used to formally model many other problem domains, including Boolean circuit minimization and such classical AI problems as diagnosis, truth maintenance and circumscription. This correspondence allows computing ker...

متن کامل

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form

In this paper, a new approach for enumerating the set prime implicants (PI) of a Boolean formula in conjunctive normal form (CNF) is proposed. It is based on an encoding of the input formula as a new one whose models correspond to the set of prime implicants of the original theory. This first PI enumeration approach is then enhanced by an original use of the boolean functions or gates usually i...

متن کامل

Prime Implicants and Belief Update

Adaptation is one of the most important capabilities that an intelligent agent should present. In order to provide this capability to logical-based agents, the Belief Change area proposes methods to incorporate new information in a belief set. Properties like consistency and minimal change guide the change process. The notion of minimal change is usually associated with a closeness criterion ba...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014